Quantum and braided ZX calculus

Braided differential calculus and quantum Schubert calculus

We provide a new realization of the quantum cohomology ring of a flag variety as a certain commutative subalgebra in the cross product of the Nichols-Woronowicz algebras associated to a certain Yetter-Drinfeld module over the Weyl group. We also give a generalization of some recent results by Y.Bazlov to the case of the Grothendieck ring of a flag variety of classical type. Résumé. Nous fournis...

Categorifying the zx-calculus

This paper presents a symmetric monoidal and compact closed bicategory that categorifies the zx-calculus developed by Coecke and Duncan. The 1-cells in this bicategory are certain graph morphisms that correspond to the string diagrams of the zx-calculus, while the 2-cells are rewrite rules.

The ZX Calculus is incomplete for Clifford+T quantum mechanics

The ZX calculus is a diagrammatic language for quantum mechanics and quantum information processing. We prove that the ZX-calculus is not complete for the Clifford+T quantum mechanics. The completeness for this fragment has been stated as one of the main current open problems in categorical quantum mechanics [8]. The ZX calculus was known to be incomplete for quantum mechanics [7], on the other...

The ZX calculus is incomplete for quantum mechanics

Backens recently proved that the ZX-calculus is complete for an important subset of quantum mechanics, namely stabilizer quantum mechanics, i.e. that for stabilizer quantum mechanics, any equation that can be shown to hold in the Dirac formalism can also be shown to hold within the ZX-calculus[2]. For her proof, she relied on operations on a special class of quantum states, namely graph states....

The ZX calculus is incomplete for non-stabilizer quantum mechanics